const int OTHERDIRVHDLINT = 3;
